Trimming a consistent OWL knowledge base, relying on linguistic evidence
نویسندگان
چکیده
Intuitively absurd but logically consistent sets of statements are common in publicly available OWL datasets. This article proposes an original and fully automated method to point at erroneous axioms in a consistent OWL knowledge base, by weakening it in order to improve its compliance with linguistic evidence gathered from natural language texts. A score for evaluating the compliance of subbases of the input knowledge base is proposed, as well as a trimming algorithm to discard potentially erroneous axioms. The whole approach is evaluated on two real datasets, with automatically retrieved web pages as a linguistic input.
منابع مشابه
THESIS in partial fulfillment of the requirements
When they grow in size, knowledge bases (KBs) tend to include sets of axioms which are intuitively absurd but nonetheless logically consistent. This is particularly true of data expressed in OWL, as part of the Semantic Web framework, which favors the aggregation of set of statements from multiple sources of knowledge, with overlapping signatures. Identifying nonsense is essential if one wants ...
متن کاملGeneration of Multilingual Personalized Environmental Bulletins from an OWL-based Ontology
Natural Language Generation (NLG) from knowledge bases (KBs) has repeatedly been subject of research. However, most proposals tend to have in common that they start from KBs of limited size that either already contain linguistically-oriented knowledge structures or to whose structures different ways of realization are explicitly assigned. To avoid these limitations, we propose a three layer OWL...
متن کاملIndirect Evidence and the Poverty of the Stimulus: The Case of Anaphoric One
It is widely held that children's linguistic input underdetermines the correct grammar, and that language learning must therefore be guided by innate linguistic constraints. Here, we show that a Bayesian model can learn a standard poverty-of-stimulus example, anaphoric one, from realistic input by relying on indirect evidence, without a linguistic constraint assumed to be necessary. Our demonst...
متن کاملReducing OWL Entailment to Description Logic Satisfiability
We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the and description logics. This is done by first establishing a correspondence between OWL ontologies and description logic knowledge bases and then by showing how knowledge base entailment can be reduced to knowledge base satisfiability.
متن کاملOWL Based Formalisation of Geographic Databases Specifications
The ability to share and combine geographic data from different information sources in a consistent way is a key issue for enabling successful implementation of Spatial Data Infrastructures (SDIs). This can only be done through a deep understanding of databases structure and content. In this poster, we propose to do that through the elicitation and formalisation of geographic database specifica...
متن کامل